Bicategories of Processes
نویسندگان
چکیده
The suspension loop construction is used to de ne a process in a symmetric monoidal category The algebra of such processes is that of symmetric monoidal bicategories Processes in categories with prod ucts and in categories with sums are studied in detail and in both cases the resulting bicategories of processes are equipped with opera tions called feedback Appropriate versions of traced monoidal prop erties are veri ed for feedback and a normal form theorem for ex pressions of processes is proved Connections with existing theories of circuit design and computation are established via structure preserv ing homomorphisms This work has been supported by the Australian Research Council Esprit BRA AS MICS Italian MURST Modelli e Speci che di Sistemi Concorrenti and the Italian CNR contract CT Katis Sabadini and Walters
منابع مشابه
Equivalences in Bicategories
In this paper, we establish some connections between the concept of an equivalence of categories and that of an equivalence in a bicategory. Its main result builds upon the observation that two closely related concepts, which could both play the role of an equivalence in a bicategory, turn out not to coincide. Two counterexamples are provided for that goal, and detailed proofs are given. In par...
متن کاملMinimal Realization in Bicategories of Automata
The context of this article is the program to develop monoidal bicategories with a feedback operation as an algebra of processes with applications to concurrency theory The objective here is to study reachability minimization and minimal realization in these bicategories In this set ting the automata are cells in contrast with previous studies where they appeared as objects As a consequence we ...
متن کاملClassifying Spaces for Braided Monoidal Categories and Lax Diagrams of Bicategories
This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy type of their classifying spaces. Bicategories (in particular monoidal categories) have well understood simple geometric realizations, and we here deal with homotopy types represented by lax diagrams of bicategories, that is, lax functors to the tricategory of bicategories. I...
متن کاملIntroduction to linear bicategories
Linear bicategories are a generalization of bicategories, in which the one horizontal composition is replaced by two (linked) horizontal compositions. These compositions provide a semantic model for the tensor and par of linear logic: in particular, as composition is fundamentally noncommutative, they provide a suggestive source of models for noncommutative linear logic. In a linear bicategory,...
متن کاملCauchy Characterization of Enriched Categories
A characterization is given of those bicategories which are biequivalent to bicategories of modules for some suitable base. These bicategories are the correct (non elementary) notion of cosmos, which is shown to be closed under several basic constructions.
متن کامل